typical contexts
For a functor we say that it has discrete objects if it has a full and faithful left adjoint .
An object in the essential image of is called a discrete object.
This is for instance the case for the global section geometric morphism of a connected topos .
In this situation, we say that a co-concrete object is one for which the -counit of an adjunction is an epimorphism.
The dual concept is the of a concrete object.
Last revised on September 8, 2015 at 08:12:32. See the history of this page for a list of all contributions to it.